This book is organized in thematic sections on fitness of RE, requirements elicitation, industrial experience of RE, innovative ...
اقرأ المزيدThis State-of-the-Art Survey presents the main recent scientific outcomes in the area of reversible computation, focusing ...
اقرأ المزيدThe size of technically producible integrated circuits increases continuously. But the ability to design and verify these ...
اقرأ المزيدThis book is segmented into four topical sections on foundations of computer science; computing by nature; networks, security, ...
اقرأ المزيدThis book constitutes the thoroughly refereed post-proceedings of 10 internationl workshops held as satellite events of the ...
اقرأ المزيدThis book presented original contributions demonstrating the use of logic, discrete mathematics, combinatorics, domain theory ...
اقرأ المزيدVolume 3 is based on the maxim: "Before software can be designed its requirements must be well understood, and before the ...
اقرأ المزيدThis book constitutes the refereed proceedings of the 18th International Conference on Software Engineering and Formal Methods, ...
اقرأ المزيدThe objective was to imagine the landscape in which next generations of software-intensive systems will operate and the challenges ...
اقرأ المزيدThis book contains the proceedings of the 8th International Symposium, SSS 2006, held in Dallas, TX, USA, November 17-19, ...
اقرأ المزيدThe aim of static analysis is to develop principles, techniques and tools for validatingpropertiesofprograms,fordesigningsemantics-basedtransformations ...
اقرأ المزيدTemporal logic has developed over the last 30 years into a powerful formal setting for the specification and verification ...
اقرأ المزيدCommemorating the 50th anniversary of the first time a mathematical theorem was proven by a computer system, Freek Wiedijk ...
اقرأ المزيدThis book constitutes the refereed proceedings of the Third International Colloquium on Theoretical Aspects of Computing, ...
اقرأ المزيدThis book is a follow-up of LNCS volume 2929 with the same title, and presents the major results of COST action 274 (2002-2005), ...
اقرأ المزيدThis book includes different issues related with: process and engineering of model transformations; model transformations ...
اقرأ المزيدThe LNCS 10805 and 10806 proceedings set constitutes the proceedings of the 24th International Conference on Tools and Algorithms ...
اقرأ المزيدThe LNCS 10805 and 10806 proceedings set constitutes the proceedings of the 24th International Conference on Tools and Algorithms ...
اقرأ المزيدThis is Part I: SAT and SMT, SAT solving and theorem proving; verification and analysis; model checking; tool demo; and machine ...
اقرأ المزيدThis is Part II: contiants Tools and Algorithms for the Construction and Analysis of Systems
اقرأ المزيد